The Monadic Theory of Morphic Infinite Words and Generalizations

The Monadic Theory of Morphic Infinite Words and Generalizations

The Monadic Theory of Morphic Infinite Words and Generalizations

The monadic theory of finite representations of infinite words

In this paper, we consider existential monadic second-order logic (monadic Σ1) on finite unary graphs, that is finite graphs with functional edge relation. These can be seen as finite encodings of ultimately periodic words. We show that, on these graphs, the bisimulation invariant fragment of monadic Σ1 equals the bisimulation invariant fragment of monadic second order logic itself, and that MS...

Infinite and Bi-infinite Words with Decidable Monadic Theories

We study word structures of the form (D,<,P ) where D is either N or Z, < is the natural linear ordering on D and P ⊆ D is a predicate on D. In particular we show: (a) The set of recursive ω-words with decidable monadic second order theories is Σ3complete. (b) Known characterisations of the ω-words with decidable monadic second order theories are transfered to the corresponding question for bi-...

the analysis of the role of the speech acts theory in translating and dubbing hollywood films

از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...